Function isotope::parser::judgement [−][src]
pub fn judgement(input: &str) -> IResult<&str, Judgement>
Expand description
Parse a typing judgement
pub fn judgement(input: &str) -> IResult<&str, Judgement>
Parse a typing judgement